SummaryP. Vardy asserts the thesis that the vicious circle principle has the same structure as Russell's paradox. But structure is not the thing itself. It is the thing objectivated from the wiewpoint of a mathematician. So this structure can be expressed in a mathematical formalism, e. g. the Λ‐calculus. Russell's paradox is understood as a result of the error of taking purely logical concepts, like negation, as lkiewise formalisable without change of meaning. The illusion of meaning in the liar's proposition: (...) Yl'am telling a lie can also be explained be the formalisable self‐referential structure of this proposition. Yet it remains an illusion because the logical intention cannot follow the structure.ResumeLe « Principe du cercle vicieux » a la même structure que le paradoxe de Russel: c'est une thèse de P. Várdy. Mais la structure n'est pas la chose même. Elle est la chose objectivée du point de vue du mathématicien et peut done être exprimée dans un formalisme mathématique, p. ex. le Λ‐calcul. L'erreur qui conduit au paradoxe de Russel, c'est de juger des concepts purement logique, p. ex. la négation, comme étant également exprimable dans un formalisme sans que leur sens ne change.L'illusion de sens que donne l'énoncé«je mens» dans le paradoxe du menteur peut aussi être expliquée par la structure formalisable d'autoréférence de cette proposition. Mais l'illusion persiste, parce que l'intention logique ne peut pas suivre la structure.ZusammenfassungRussells «Vicious circle principle» hat dieselbe Struktur wie die Russellsche Antinamie. So lautet die These P. Várdys. Aber die Struktur ist nicht die Sache selbst, sondern nur die vom mathematischen Standpunkte aus objektivierte Sache, die in einem Formalis‐onus ausgedrückt werden kann. Die Antinomie Russells wird Als Folge der irrigen Auffassung verstanden, rein logische Begriffe, wie z. B. die Negation, konnten formalisiert werden, ohne dass dabei ihr Sinn verwandelt würde. Die Sinnillusion des Satzes «Ich lüge» kann dann auch aus der selbstbezüglichen formalen Struktur des Satzes erklärt werden. Doch bleibt dies blosse Illusion, weil die logische Intention der Struktur nicht gerecht werden kann. (shrink)

SummaryP. Vardy asserts the thesis that the vicious circle principle has the same structure as Russell's paradox. But structure is not the thing itself. It is the thing objectivated from the wiewpoint of a mathematician. So this structure can be expressed in a mathematical formalism, e. g. the Λ‐calculus. Russell's paradox is understood as a result of the error of taking purely logical concepts, like negation, as lkiewise formalisable without change of meaning. The illusion of meaning in the liar's proposition: (...) Yl'am telling a lie can also be explained be the formalisable self‐referential structure of this proposition. Yet it remains an illusion because the logical intention cannot follow the structure.ResumeLe « Principe du cercle vicieux » a la même structure que le paradoxe de Russel: c'est une thèse de P. Várdy. Mais la structure n'est pas la chose même. Elle est la chose objectivée du point de vue du mathématicien et peut done être exprimée dans un formalisme mathématique, p. ex. le Λ‐calcul. L'erreur qui conduit au paradoxe de Russel, c'est de juger des concepts purement logique, p. ex. la négation, comme étant également exprimable dans un formalisme sans que leur sens ne change.L'illusion de sens que donne l'énoncé«je mens» dans le paradoxe du menteur peut aussi être expliquée par la structure formalisable d'autoréférence de cette proposition. Mais l'illusion persiste, parce que l'intention logique ne peut pas suivre la structure.ZusammenfassungRussells «Vicious circle principle» hat dieselbe Struktur wie die Russellsche Antinamie. So lautet die These P. Várdys. Aber die Struktur ist nicht die Sache selbst, sondern nur die vom mathematischen Standpunkte aus objektivierte Sache, die in einem Formalis‐onus ausgedrückt werden kann. Die Antinomie Russells wird Als Folge der irrigen Auffassung verstanden, rein logische Begriffe, wie z. B. die Negation, konnten formalisiert werden, ohne dass dabei ihr Sinn verwandelt würde. Die Sinnillusion des Satzes «Ich lüge» kann dann auch aus der selbstbezüglichen formalen Struktur des Satzes erklärt werden. Doch bleibt dies blosse Illusion, weil die logische Intention der Struktur nicht gerecht werden kann. (shrink)

Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

Abstract. We argue that all human beings have a special type of dignity which is the basis for (1) the obligation all of us have not to kill them, (2) the obligation to take their well-being into account when we act, and (3) even the obligation to treat them as we would have them treat us, and indeed, that all human beings are equal in fundamental dignity. We give reasons to oppose the position that only some human beings, because of (...) their possession of certain characteristics in addition to their humanity (for example, an immediately exercisable capacity for self-consciousness, or for rational deliberation), have full moral worth. What distinguishes human beings from other animals, what makes human beings persons rather than things, is their rational nature, and human beings are rational creatures by virtue of possessing natural capacities for conceptual thought, deliberation, and free choice, that is, the natural capacity to shape their own lives. (shrink)

The projection postulate, which prescribes “collapse of the state vector” upon measurement, is not an essential part of quantum mechanics. Rather it is only an optional discarding of certain branches of the state vector that are expected to be irrelevant for the purpose at hand. However, its use is hazardous, and there are examples of repeated measurements for which the conventional application of the projection postulate leads to incorrect results.

The attempt to derive (rather than assume) the statistical postulate of quantum theory from the many-universes interpretation of Everett and De Witt is analyzed The many-universes interpretation is found to be neither necessary nor sufficient for the task.

The ethics of Kant and the ethics of Crusius are strikingly similar. This is manifested in a whole range of principles and concepts. Crusius’ moral teaching hinges on the rigorous moral law which has to be obeyed absolutely, and which makes it different from other prescriptions that are binding only to a relative degree. This is very close to the Kantian distinction between hypothetical and categorical imperatives. Another salient feature of Crusius’ moral teaching is the stress laid on the sphere (...) of internal motives. It is the inner motive that determines the morality of an act, rather than the external form of the act. These and some other features of Crusius’ ethics suggest a possible influence of Crusius on Kant. The possibility of such influence has repeatedly come under close scrutiny. The first works devoted to this problem date to the turn of the nineteenth and twentieth centuries. Pointers to the possibility of such influence are semantic and structural similarities of the two thinkers’ systems. Besides, it is an unchallengeable fact that Kant was fairly familiar with the main theses of Crusian philosophy. Some scholars proceed from the study of Kantian vocabulary. Some of the terms Kant uses, especially in his early works which later formed the basis of his ethical teaching in the critical period, can be traced to the terms of Crusian philosophy. However, an alternative view is that Kant was primarily influenced by Wolffian philosophy (mainly through Baumgarten), while the direct influence of Crusius remains unproven. I examine both points of view and propose my own solution to the problem. (shrink)

The question asked in this article is: what is a parasite?. Defining a parasite requires defining its host at the same time. A difficult question therefore arises about host-parasite relationships. The object of general parasitology is in fact to study the relationship between a host and its parasite. The initial question what is a parasite? has to be reformulated within a conceptual framework, that of relationship. This article is an attempt to transpose into parasitology some concepts which have been profitable (...) in the fields of physics and chemistry. The studies of R. Thom about the individual are also used. Concepts like that of field and principles like that of minimization are probably operational on a high level of organization. The description of host-parasite relationships could benefit from these concepts. (shrink)

ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

Argument-places play an important role in our dealing with relations. However, that does not mean that argument-places should be taken as primitive entities. It is possible to give an account of ‘real’ relations in which argument-places play no role. But if argument-places are not basic, then what can we say about their identity? Can they, for example, be reconstructed in set theory with appropriate urelements? In this article, we show that for some relations, argument-places cannot be modeled in aneutralway in (...) V[A], the cumulative hierarchy with basic ingredients of the relation as urelements. We argue that a natural way to conceive of argument-places is to identify them with abstract, structureless points of a derivative structure exemplified by positional frames. In case the relation has symmetry, these points may be indiscernible. (shrink)